Projective Lattices
نویسنده
چکیده
such that f(g(a)) = a for all a ∈ L. Projective lattices are characterized in [3] by four conditions. This talk will discuss two of them that are of current interest. If g in (2) is only required to be order-preserving, it is called an isotone section of the epimorphism (1). We will characterize which lattices L have an isotope section for every epimorphism (1). We will use this to characterize when the ordinal (linear) sum of two projective lattices in V will be projective and give some surprising examples. The second of the four conditions characterizing projectivity we will discuss is join refinement and the dependency relation; the so-called D-relation. This condition and some closely related concepts are used in many parts of lattice theory. Besides free lattice, projective lattices and finitely presented lattices, it has applications to transferable lattices, congruence lattices of lattices, representing finite lattices as congruence lattices of finite algebras, and ordered direct bases in database theory [1, 2].
منابع مشابه
Projective Ordinal Sums of Lattices and Isotone Sections
This note gives a complete characterization of when the ordinal sum of two lattices (the lattice obtained by placing the second lattice on top of the first) is projective. This characterization applies not only to the class of all lattices, but to any variety of lattices, and in particular, to the class of distributive lattices. Lattices L with the property that every epimorphism onto L has an ...
متن کاملA New Ring-Based SPHF and PAKE Protocol On Ideal Lattices
emph{ Smooth Projective Hash Functions } ( SPHFs ) as a specific pattern of zero knowledge proof system are fundamental tools to build many efficient cryptographic schemes and protocols. As an application of SPHFs, emph { Password - Based Authenticated Key Exchange } ( PAKE ) protocol is well-studied area in the last few years. In 2009, Katz and Vaikuntanathan described the first lattice-based ...
متن کاملPropositional systems, Hilbert lattices and generalized Hilbert spaces
With this chapter we provide a compact yet complete survey of two most remarkable “representation theorems”: every arguesian projective geometry is represented by an essentially unique vector space, and every arguesian Hilbert geometry is represented by an essentially unique generalized Hilbert space. C. Piron’s original representation theorem for propositional systems is then a corollary: it s...
متن کاملLattices and Their Continuum
We address the problem of the continuum limit for a system of Hausdorr lattices (namely lattices of isolated points) approximating a topological space M. The correct framework is that of projective systems. The projective limit is a universal space from which M can be recovered as a quotient. We dualize the construction to approximate the algebra C(M) of continuous functions on M. In a companio...
متن کاملOrdinal Sums of Projective Lattices and Isotone Sections
A lattice L is projective in a variety V of lattices if whenever f : K L is an epimorphism, there is a homomorphism g : L→ K such that f(g(a)) = a for all a ∈ L. Note g is one-to-one and ρ = gf : K→ K is a retraction of K; that is, ρ is an endomorphism of K and ρ2 = ρ. The sublattice ρ(K) = g(L) of K is isomorphic to L. The image g(L) is a retract of K. In a slight abuse of terminology, we will...
متن کامل